首页> 外文OA文献 >Trade-offs between time and memory in a tighter model of CDCL SAT solvers

【2h】

Trade-offs between time and memory in a tighter model of CDCL SAT solvers

机译：在更严格的CDCL SAT求解器模型中，时间与内存之间的取舍

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Bounded model checking of Time Petri Nets using SAT solver [J] . Hisashi Miyazaki, Kazutami Arimoto, Masafumi Kondo, IEICE Electronics Express . 2015,第2期

机译：使用SAT求解器的时间培养网的有界模型检查
2. Solving the resolution-free SAT problem by submodel propagation in linear time [J] . Gabor Kusper Annals of Mathematics and Artificial Intelligence . 2005,第1a4期

机译：通过子模型在线性时间内的传播来解决无分辨率的SAT问题
3. AN INTEGRATED MULTI-OBJECTIVE OPTIMIZATION MODEL FOR SOLVING THE CONSTRUCTION TIME-COST TRADE-OFF PROBLEM [J] . Choongwan KOO, Taehoon HONG, Sangbum KIM Journal of Civil Engineering and Management . 2015,第3期

机译：解决施工时间成本权衡问题的集成多目标优化模型
4. Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers [C] . Jan Elffers, Jan Johannsen, Massimo Lauria, International conference on theory and applications of satisfiability testing . 2016

机译：在更严格的CDCL SAT解算器模型中，时间与内存之间的取舍
5. Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL. [D] . Oh, Chanseok. 2016

机译：通过利用CDCL的经验特性来改进SAT解算器。
6. A New Model for Solving Time-Cost-Quality Trade-Off Problems in Construction [O] . Fang Fu, Tao Zhang 2011

机译：解决施工中时间成本质量权衡问题的新模型
7. Trade-offs between time and memory in a tighter model of CDCL SAT solvers [O] . Elffers, J., Johannsen, Jan, Lauria, Massimo, 2016

机译：在CDCL saT解算器的更紧密模型中，在时间和内存之间进行权衡

Trade-offs between time and memory in a tighter model of CDCL SAT solvers

著录项

引文网络

相似文献

相关主题

期刊订阅